Systems modeling

Results: 5478



#Item
61Issues in Information Systems Volume 17, Issue III, pp, 2016 EFFECTIVENESS OF USING CARD GAMES TO TEACH THREAT MODELING FOR SECURE WEB APPLICATION DEVELOPMENTS

Issues in Information Systems Volume 17, Issue III, pp, 2016 EFFECTIVENESS OF USING CARD GAMES TO TEACH THREAT MODELING FOR SECURE WEB APPLICATION DEVELOPMENTS

Add to Reading List

Source URL: www.iacis.org

- Date: 2016-09-12 18:37:13
    62Probabilistic Modeling of Human Movements for Intention Inference Zhikun Wang1,2 , Marc Peter Deisenroth2 , Heni Ben Amor2 , David Vogt3 , Bernhard Schölkopf1 , Jan Peters1,2 1 MPI for Intelligent Systems, Spemannstr. 3

    Probabilistic Modeling of Human Movements for Intention Inference Zhikun Wang1,2 , Marc Peter Deisenroth2 , Heni Ben Amor2 , David Vogt3 , Bernhard Schölkopf1 , Jan Peters1,2 1 MPI for Intelligent Systems, Spemannstr. 3

    Add to Reading List

    Source URL: www.ias.informatik.tu-darmstadt.de

    - Date: 2012-06-11 09:27:20
      63From Spraying Systems Co. Optimizing Spray Performance with Process Modeling

      From Spraying Systems Co. Optimizing Spray Performance with Process Modeling

      Add to Reading List

      Source URL: www.spray.com

      - Date: 2015-07-21 18:07:37
        64Call for Papers 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS’16) Qu´ ebec City, Qu´

        Call for Papers 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS’16) Qu´ ebec City, Qu´

        Add to Reading List

        Source URL: formats16.lsv.fr

        - Date: 2016-02-27 04:41:05
          65Pareto Front Modeling for Sensitivity Analysis in Multi-Objective Bayesian Optimization Roberto Calandra Jan Peters∗ Intelligent Autonomous Systems Lab

          Pareto Front Modeling for Sensitivity Analysis in Multi-Objective Bayesian Optimization Roberto Calandra Jan Peters∗ Intelligent Autonomous Systems Lab

          Add to Reading List

          Source URL: www.doc.ic.ac.uk

          - Date: 2016-04-20 05:30:18
            66Journal on Satisfiability, Boolean Modeling and Computation–236 Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure∗ Martin Fr¨ anzle

            Journal on Satisfiability, Boolean Modeling and Computation–236 Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure∗ Martin Fr¨ anzle

            Add to Reading List

            Source URL: jsat.ewi.tudelft.nl

            - Date: 2007-05-22 16:56:57
              67Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems Emmanuelle Anceaume CNRS IRISA, France Bruno Sericola

              Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems Emmanuelle Anceaume CNRS IRISA, France Bruno Sericola

              Add to Reading List

              Source URL: people.rennes.inria.fr

              - Date: 2013-05-27 08:17:22
                681 A Fluid Model for Layered Queueing Networks Mirco Tribastone Abstract—Layered queueing networks are a useful tool for the performance modeling and prediction of software systems that exhibit complex characteristics

                1 A Fluid Model for Layered Queueing Networks Mirco Tribastone Abstract—Layered queueing networks are a useful tool for the performance modeling and prediction of software systems that exhibit complex characteristics

                Add to Reading List

                Source URL: dl.dropboxusercontent.com

                  69Higher-Order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages Bernhard Hoisl1,2 , Stefan Sobernig1 , and Mark Strembeck1,2 1 Institute for Information Systems and New Media, WU Vie

                  Higher-Order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages Bernhard Hoisl1,2 , Stefan Sobernig1 , and Mark Strembeck1,2 1 Institute for Information Systems and New Media, WU Vie

                  Add to Reading List

                  Source URL: wi.wu.ac.at

                  - Date: 2015-02-14 09:46:18
                    70Perturbation & adaptation models for timed systems Abstract The main objective of this PhD is to consider perturbations in tied models, formal modeling of perturbation correction techniques, and the robustness of timed

                    Perturbation & adaptation models for timed systems Abstract The main objective of this PhD is to consider perturbations in tied models, formal modeling of perturbation correction techniques, and the robustness of timed

                    Add to Reading List

                    Source URL: www.irisa.fr

                    - Date: 2016-09-22 09:43:28